Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
621	1 Prosperity Heights Software Add to Reading List Source URL: www.domain-specific.com Language: English - Date: 2012-04-25 17:10:20 Systems engineering Software design Formal methods Software industry Software product line Domain engineering Software development process Software Business Software project management
622	Data for the Public Good The Government Statistical Service Data Strategy November 2013 Add to Reading List Source URL: gss.civilservice.gov.uk Language: English Database theory Science Formal sciences Emerging technologies Graph Style Sheets RDF Official statistics Open data Database Technology Data management Database management systems
623	RESEARCH STRENGTHS INFORMATION SYSTEMS AND DATA MANAGEMENT AT UQ Enabling smart information use for an interconnected world Add to Reading List Source URL: www.uq.edu.au Language: English - Date: 2013-09-12 21:59:11 Data management Data analysis Emerging technologies Data quality Information science Data mining University of Queensland Big data Geographic information system Technology Formal sciences Science
624	The Business Intelligence Competency Center: Enabling Continuous Improvement in Performance Management Add to Reading List Source URL: www.oracle.com Language: English Business Formal sciences Data warehousing Business analytics Oracle Database Business requirements Analytics Oracle Corporation Systems development life-cycle Business intelligence Computing Data management
625	Outline Model checking real-time systems Algorithmic Verification Comp4151 Lecture 12-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:07 Models of computation Hybrid automaton Model checking Formal methods Computer science Finite-state machine Hybrid system Automata theory Differential equations Theoretical computer science
626	Last Time ➜ Equations and Term Rewriting ➜ Confluence and Termination of reduction systems COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal languages Logic in computer science Mathematical logic Rewriting Critical pair Knuth–Bendix completion algorithm Lambda calculus Confluence Hoare logic Theoretical computer science Mathematics Programming language theory
627	SCADE® Training Program September 2014 Page 1 Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2014-09-27 10:38:27 Embedded systems Formal methods Esterel Technologies Aircraft instruments Software requirements Avionics Cockpit display system ARINC 661 Esterel Software development Computing Electronics
628	Tool-support for the analysis of hybrid systems and models Andreas Bauer Markus Pister Michael Tautschnig Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:27 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
629	KX SYSTEMS VERTICAL MARKETS pharmaceuticals Clinical Improvements Add to Reading List Source URL: kx.com Language: English - Date: 2014-05-02 10:37:31 Pharmacology APL programming language family Array programming languages Formal sciences Database management systems K Pharmaceutical industry Big data Simulation Data management Pharmaceutical sciences Science
630	SMS Overview Risks It took just over a century of flight for the arrival to the industry of a comprehensive, systematic, formal approach to safety. The nuclear power industry, space, pharmaceuticals, chemicals; they hav Add to Reading List Source URL: www.qitweb.com Language: English - Date: 2012-07-20 09:19:20 Safety Management Systems Safety culture Occupational safety and health System safety Risk management Federal Aviation Administration Safety Security Risk

UPDATE